Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
181	A New Approach to Teaching Discrete Mathematics David Gries∗ and Fred B. Schneider† Computer Science, Cornell University June 20, 2001 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:15:58 Proof theory Logic in computer science Mathematical proofs Philosophical logic First-order logic Equational logic Propositional calculus Natural deduction Combinatory logic Logic Mathematics Mathematical logic
182	Mathematical Induction[removed]INFORMAL INTRODUCTION The point of metatheory is to establish facts about logic, as distinguished Add to Reading List Source URL: www.jimpryor.net Language: English - Date: 2013-10-26 19:49:52 Mathematical logic Inductive reasoning Mathematical proofs Philosophical logic Model theory Mathematical induction Propositional calculus Recursive definition First-order logic Logic Mathematics Science
183	Lurch: A Word Processor that Can Grade Students’ Proofs Nathan C. Carter1 and Kenneth G. Monks2 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-10 02:03:08 Cross-platform software Functional languages Markup languages Mathematical markup languages Mathematical logic LURCH Mathematics OpenMath Mathematical proof Software Computing Mathematical software
184	COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 9 Discrete Mathematics (AMP) (a) The subset S of N = {0, 1, 2, . . .} is inductively defined by the following axiom and rules, where n ranges over N: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:43 Mathematical proofs Inductive reasoning Mathematical induction Proof theory Constructible universe Universal quantification String Surreal number Peano axioms Mathematics Mathematical logic Logic
185	TUGboat, Volume[removed]), No[removed]ProofCheck: Writing and checking complete proofs in LATEX Add to Reading List Source URL: www.tug.org Language: English - Date: 2009-09-26 12:32:25 Logical syntax Automated theorem proving Proof theory Model theory Theorem Mathematical proof TeX First-order logic Unification Logic Mathematics Mathematical logic
186	ALMOST DISJOINT AND INDEPENDENT FAMILIES STEFAN GESCHKE Abstract. I collect a number of proofs of the existence of large almost disjoint and independent families on the natural numbers. This is mostly the outcome of a di Add to Reading List Source URL: www.hcm.uni-bonn.de Language: English - Date: 2011-11-28 05:30:10 Order theory General topology Infinity Ordinal numbers Almost disjoint sets Constructible universe Compact space Ultrafilter Aleph number Mathematics Mathematical logic Topology
187	Philosophia Mathematica (III[removed]), 341–362. doi:[removed]philmat/nkn032 Advance Access publication November 6, 2008 Probabilistic Proofs and Transferability† Add to Reading List Source URL: fitelson.org Language: English - Date: 2011-11-24 10:40:11 Mathematical proofs Mathematical logic Philosophical logic Probabilistic method Prime number Philosophy of mathematics Theorem Miller–Rabin primality test Proof theory Mathematics Logic Logical syntax
188	A Proofs Theorem 1. For a positive semidefinite matrix L and x ∈ [0, 1]N , XY Y Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-04-28 17:52:02 Fundamental theorem of calculus Operator theory Ordinary differential equations Spectral theory Sectional curvature Fourier transform Mathematical analysis Mathematics SO(10)
189	Riffled Independence for Ranked Data (extended version with proofs) Jonathan Huang, Carlos Guestrin School of Computer Science, Carnegie Mellon University Add to Reading List Source URL: www.select.cs.cmu.edu Language: English - Date: 2009-10-30 02:21:12 Algebra Abstract algebra Combinatorics Permutation Fourier transform Symbol Independence Structure Normal distribution Mathematics Mathematical analysis Probability theory
190	Philosophical Review Aspects of Mathematical Explanation: Symmetry, Unity, and Salience Marc Lange University of North Carolina at Chapel Hill Add to Reading List Source URL: philosophy.unc.edu Language: English - Date: 2014-12-09 11:21:14 Mathematical logic Epistemology Mathematical proofs Science studies Philosophy of mathematics Theorem Models of scientific inquiry 0.999... Philosophy of science Mathematics Logic Science

UPDATE